| contributor | Institut für Architektur von Anwendungssystemen (IAAS) | ||||||||||||||
Christoph Fehling:
| creator |
Fehling, Christoph
| date |
2007-11
| description |
14 pages
|
In the business world workflows are a long established and
well-known concept to organize and integrate business functions and
tasks. The main improvement compared to static application
integration is the fast and flexible orchestration of exiting
services into new business processes. With scientific processes
becoming ever more complex and distributed over large organizations
of scientists a lot of challenges which have also been observed in
the business world and were addressed by workflow management
systems. However there are also differences when modeling scientific
processes as workflows. One of them being that processes need to be
formally verified to prove the correctness of the outcome. As will
be shown in this article this can be addressed by describing
scientific services using the Soap Service Description Language
(SSDL) makes use of protocol descriptions and therefore enables
formal verification of process interaction.
| format |
application/pdf
| 152832 Bytes | |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=SEM-2007-04&engl=1 |
| language | eng |
| publisher | Stuttgart, Germany, Universität Stuttgart |
| source | ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/SEM-2007-04/SEM-2007-04.pdf |
| subject | Software Engineering Design Tools and Techniques (CR D.2.2) |
| Office Automation (CR H.4.1) | |
| The Computer Industry (CR K.1) | |
| Mathematical Logic (CR F.4.1) | |
| SSDL | |
| WSDL | |
| pi-calculus | |
| title | Protocol based Integration using SSDL |
| type | Text |
| Seminar Paper |